perm filename CMSS8.360[GF,SYS] blob
sn#803290 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#→M&D F#!X
B`5 αUU αT` λα∀` ⊂↓T@0⊂α∀@ _α∀@ ↓T 0 α∀ (α∀00α∀00α∀ 8α∪`0@α∪`0@α∪` Hα∪@0Pα∪B∀h S 0`α∪ hα∪0pα∪0pα∪ xα∩`1α∩`1α∩@1⊂α⊃(D⊂
F#1Xβ) x%↓↓(%↓↓⊂(%↓↓0_%↓↓0 %↓↓@_%↓↓@_%↓↓0 %↓↓0_%↓↓⊂(%↓p0%∧ x%∧) ∧AI ¬A) ε↓ εA εA εA εA εA ε↓ ¬A ∧A)!λ%βHT !E#↓X
BA¬λεT@0α∪`0P↓∪@4hα∪D`↓R`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩`DXα∪4`α∪ Dp↓C ∀x↓B`%α↓`EλεUt("⊃β↓`
F`p%∧) ∧A) ¬A) ε↓) εA π↓ π@i πA πA λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λ↓ λi πA πA π↓ εA εA ¬A) ∧AI!λ%βhT "DBaX
@α$P ∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩B∧Pλ∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩B$P ⊃(D0λE#1X∧)!λ%↓ %↓ %↓ %↓ %↓ %↓ x%βi %↓ %↓ %↓ %↓ %↓ %↓ "Qλq(εc0PβT!Uα↓@Tx↓B@4p↓C$h↓SD`↓R`DXα∩@DPα∩@DPα∩@DPαα!∧Pαα!∧Pαβ@4Xαβ 4Xαβ 4`↓C 4`αβ4h↓C4p↓B`4x↓B@5α↓@UλεUt("∩αQH
F` εA εA εA εA εA εA εA εA εA εA εA εA !(%¬) εA εA εA εA εA εA εA εA εA εA εA εA εA εAλT $A↓↓X
@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(DPεCc1X∧A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A ⊂βA _αA) `%BIP0"Q 10
εc0αβ@DPαβ DPαβDPαα`DPαα@DPαα DPααDPα↓`DPα↓@DPα↓ DPα↓DPα`DPα@dPα!∧P∧ DPβ@`DPβ↓TPαA@DPααDPααTPαα DPαα@DPαα@DPαα`DPαβDPαβDPαβ DPαβ T("∪α↓
F` %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ !%∧λT &G∧↓X
@Qλβ∩@Qλβ∩@Qλβ∩@`xβR@0λ↓β` λα∩@0λ↓C 0λα∩@0⊂↓β ⊂α∩@0⊂↓β ⊂α∩@0⊂↓B`0⊂α∩@0⊂↓B`0⊂α∩@0_↓α` _α∩@0_↓B 0_α∩@0_↓B 0_α∩@0 ↓A`0 α∩@0 ↓A`0 α∩@0 ↓A`0 α∩@0(↓A 0(α∩@0(↓A 0(α∩@0(↓A 0(α∩@00↓@`00α∩@00↓@`00α∩@08↓` 8α∩@08↓@ 08α∩@08↓@ 08α∩@0@αBDP↓BP@α∩@0@αBDP↓B 0Hα⊃(Dp
F#1X↓A@_%↓A@_%↓a0_%↓a0_%`⊂ ¬i _A↓ _%` ∧@i _↓↓↓⊂_%`0 ∧i _↓A↓_%`@ β@i _α↓p_%`P βi _αA`_%`` α@i _β↓P_%`p αi _βA@_%a ↓@i _∧↓0_%a⊂ ↓i _∧A _%a @i _¬↓⊂_%a08%a08%a@0%a@0"Q qP∞εc0Pβ∀!Eπ∪@`0β∪ PPαS @`α∪@pα∪@pα∩`Aα∩`Aα∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@QαR`Aα∩`Aα∩`PpαS@pα∪ @`α∪ PPαS@`0β∀↓eλε∃d("∀αA@
F`p%∧ ∧↓) ¬↓ ¬A ε↓ ε↓ ε↓ ε↓ ε↓ ε↓ ¬A ¬↓) ∧↓I!λ%βi %↓ %↓ %↓ %↓ %↓ %↓λT (FCB
B@eλε∀↓dpβ↓@dhαB@ThαβD`αβ@D`αβ@DXα∧DXα∧DPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DXα∧DXα∧DXαA@0(αS@0α↓Dhα↓@@⊂α∪ P(α Tpβ↓↓¬π∀!E ¬⊗@UXαWE`αW T("∀BQH
F`p%∧ ∧A) ¬A εi ε↓ ε↓ ε↓ ε↓ εi ¬A ∧A)!λ%∧ h%↓` %↓p_%↓p %↓↓ %↓↓ %↓↓⊂ %↓↓⊂ %↓↓ %↓↓0_%↓↓0 %↓↓@ %↓↓@ %↓↓P "Q
1_
Fc00βSADh↓A`D`↓B 4X↓B`$P↓R@4P↓R@4Pα∩`T`∧∪!$p¬T↓% βU`UHα⊗ EP↓V@5P↓R@ p↓∩@0`↓R@@P↓R`P0α∪!EβQ(E εC1Xε !@*↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ "Q
Q εc0αβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Pαβ 4Xαα`4Xαα@D`αα 4hαA Dx¬T d("∃C⊃P
F` i i0 λi0 λi0(π@i@ πi@ πiP ε@IP εiP(¬@i` ¬i` ¬ip ∧@Ip ∧ip ∧j βj βj⊂ α@J⊂ αj⊂ αj ↓@J ↓j0_↓J0_↓J08*↓*@(*@hT +I$aX
@@`αC 4Pαβ``↓R@@`ββ4Xαα` λ↓C$Xαα@0λαα@4Xαα@0λαα@4XαB ⊂αα@4`αα0_↓B 4`αα0_αα4`αα αα4hα↓` (↓B$hα↓@0(α↓@4hα↓@ 0α↓@4p↓A@ 8↓A@$pα↓ 8↓A 4pα↓08α↓4pα↓ @α↓4x↓A H↓A$xα` H↓@`4xα@ Pα@5↓@@ X↓@@%↓@@ X↓@@%↓@@ X↓@@%α ⊂`↓@ 5λαC UλαC Uλαβ@U⊂↓C`4("⊗β⊃P
F`⊂ π@i0(εA @(¬A P ¬↓ ` ∧@i`(βA p β↓
α↓
⊂ ↓@j _↓↓
@)AJ@ *↓
@()Aj _↓j⊂ ↓@j⊂_α↓
_β↓ p βA ` ∧↓ `_¬↓ P ¬A @ ε↓)0 π↓ 0_λ↓ λ↓(T ,Fc1X
@Q⊂α∩`Qλ↓SPx↓S @pα∪ Ph↓S@PX↓S`@Pα∪`PH↓TP8↓T P(α∀@@(↓T@P_↓T`Pλα∃@λ↓Uu(β∃@E0α∃@E0α∃@E0α∃@E0α∃@E0α∃@E0α⊃(EP
Ec1XE 1 -↓⊂(,↓+ +A*`(+↓
P(*A
@ )A*0 )↓
⊂((A
'A)p '↓)P(&A @(%A)0 %¬)!("Q⊂pλ∧"⊂ β∪↓$Xε∩`00↓R`⊂H↓U 5(↓U 4x∧S↓DXαA 4P↓B4P↓B4P↓B4Pα↓ TXεRa⊂λ↓S`_↓Q(F⊂λ∧c1Xi _%i _%i _%i _%i _%`@(%`⊂H%βI (αA) ∧i _∧A _¬i _¬i _¬i _¬i _¬i _¬i _∧@i βA (αA p%`⊂H%`0("Q0xλD"⊂0β∪A$hε∪@0↓R`0H↓∩`4P↓R@4P↓R@4P↓R@4X↓R`D`α↓`$hε∪A5βQ(F λ∧C1Xε@jp_+@jp_+@jp_+@jp_+@jp_'A 0_&B ⊂_&βI0(αA)0 βA 0_∧@i _¬i _¬i _¬i _¬i _¬i _¬i0_∧@i0_∧↓ 0(α↓I@P@iP@↓ip αhT 2Cb⊃λλA Th∧S↓4`α↓DX↓B$X↓B4PπRAtPπR@4P↓R@4X↓R`4`α↓`$hε∪A4x∧⊃(F0πβC1X∧↓J@'B)p_'i`_'i`_'i`_%αi X'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_"Qq⊂ FB⊂0α↓Dpπ∪!th↓A4`↓A@4`↓A@4`↓A@4`↓A@4`↓A@4h↓A4h¬∪!∀`↓@ D`↓S4h¬S!T`πR`0Hα∩@0`↓R@0`↓R@0`↓R@@Pα∩`P0αS↓dhε∪a∧("~↓q⊂
F`_%i _%i _%i _%i _%i _↓AI _↓α p%↓ ` %↓↓_%↓↓_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_"Q
⊂ βεc0α∩@DPα∩@D8β 4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓Q(FP¬↓d1Xβ↓
(↓
#A@p_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@j⊂_(@i ⊂α↓ H%α @("Q
1 Fc0↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓B $P↓B$P↓A`$P↓A@$P↓A $P↓A$P↓@`$P↓@@DP↓@ TPα@ DPα`DP↓A 4P↓A DP↓A@DP↓A`DP↓B4P↓BDP↓B D("≠00
F`_%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%hT 6Fcaλλ@0_β↓@dP↓@A ∧∩A`λ¬R@P0β↓@DPαα@@↓R@@@αα4P↓B 0H↓R@0H↓B 4P↓B 0H↓R@0H↓B 4P↓B 0H↓R@0H↓B 4P↓B 0H↓R@0H↓B 4P↓B 0H↓R@0H↓B 4P↓B 0H↓R@0H↓B 4("≠Aq⊂λD _↓AI _↓α p%↓ ` %↓↓_%↓↓_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_%a⊂_"Q
q⊂ D"⊂0β∪A$hε∪@0α∩`@@α∩`0P↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@@Pα∩`0P↓R`@@α∪@0α∪!Dp¬∀d("≤α↓_D _α↓) _B) p%↓ P(%↓p %a⊂ %a _%a _%a _%a _%a _%a _%a⊂_%↓p %↓ P %βI _B) _↓A) _%i _%i _%i _%hT 8Dα!HλA P_↓S!⊂λ↓S↓d`α↓ TXα↓`DX↓BDP↓B@4P↓B@4P↓B@4P↓B@4P↓B@4P↓B@4X↓B 4Xα↓`DXαA T`π∪!⊂↓S@P ↓U`58↓U`58↓U`58↓U`58↓Q(G⊂∧Cα⊃λ`0_%` %`⊂(%↓I (%↓ %i _%i _%i _%i _%i _%hT 9C!aλλ@`t`¬∩a4Pα↓@$P↓R@4Pα∩`t`∧∪!¬⊂α∃5 ↓R@⊂H↓R@@(α∩ADX¬∪ t("≥↓@h¬@0_&@iP_&@iP_%αi X&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@`@λ&B)`@'A(T :Cb!λλ@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@0H↓R@08αRAtX¬ 4`β↓4("≥B⊃⊂λD _¬@i _¬@i0_∧@i0_∧@i0_∧@i@_β@i@_β@iP_βIP_α@iP_α@i`_↓@i`_↓@ip⊂↓@Ip_@ip_@j((↓*⊂_"Q∞qP
D"⊂↓A``8↓R@08β↓`4P↓A``8↓R`00↓@ 00↓∩`0(↓@@0(↓R`0(↓@@0(↓R`0(↓@@0(↓S0_α`0_↓S0_↓A0_↓S0_↓A0_↓S _↓A _↓∪ 0⊂↓↓@0⊂↓∪ 0λ↓A@0λ↓S@ λ↓A@0λ↓∪@ λ↓α λ↓∪@P@αS@P@αS`@H↓Q(G@ Db⊃λ@a0_&a⊂_&↓p_&AP_'`@_'@` _(`⊂_(A* _(A
⊂⊂@J⊂↓ip_↓@i`_α@iP_β@i@_∧@i0_¬@i ¬AλT <D"!Hλ@0X↓R@0X↓R`0H↓R`0H↓S0@↓S08↓S 00↓S 0(↓S 0(↓S@0 ↓∪@0_↓S`0⊂↓S`0⊂↓∀ λ↓T λ↓∀ Eλ↓T@%⊂↓∀ %λ↓∀%↓∩@⊂ ↓∩@tPβ⊃(GPπβb⊃λC)0h%C*0 )↓
_(A
(ip_'↓ P &@i@ %A p%βI p"Q↓
εc0λ∩B∧Pα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("#b
FaP +A
`0+↓JP_A
P⊂↓↓
@_↓A
@⊂α↓
0_αA
0⊂β↓
_β↓* _βA
⊂_∧↓*⊂_∧A
_¬↓*_¬A p_ε↓)p_εA `_π↓)`_πA P_λ↓)P_λA @_ ↓)@_ A 1`%G !p%πHT ↓πβaX
BA¬⊂ε∀α∧xβ↓@dpαB@ThαCT`αC@T`α∧DXα∧@DXα∧@DPαD@TPα¬DPαa`_α∩@@_π`DPαa`_α∩@@_π`DPα¬DPα¬DXα∧@DXα∧@D`α∧D`αC@Thαβ@DpαB@Txβ↓@eλ∀AE ∧⊃(@_Fβ1X¬j0()A*0()@⊂ )@⊂ )@ _(@` (@@0 (@@@_(`@ (@P (@P '@`` '@@p '`p('a 'A⊂ &@a⊂(&@a &@A0 &a0(&a@ &AP %@aP(%@a` %@Ap %ap("QA8Fc0RBtPQa⊂_λS"∀hλQa RBtPQ(@(
F#1X¬)!(%↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P %↓↓P "QaP∞εc0
∩C$PαR`T`αS ThαS@TxαTUλαT U⊂αT`U α∀`E_↓T@Eλα∀E↓S`Dpα∪ Dh↓Sβ∧XRC$("↓cAp
F`@(¬↓)@Hβα)0PβαI α@`@_αA _β@` _β@i _β@` _β@jP⊂↓JP0+↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` "Q↓↓P∞εc0Xα∃ E(α∃ E_∧∀↓dp ∪ `⊂α@d`αA@ αR`P(α↓ TXα↓@@0α∩@P0α↓@TPα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPαA@@0αR`@0α↓@DXαA @(αSP α↓Thβ@@⊂β∪B%π∀a¬(α∃ E(α∃ D("α#Ap
Fa@ +↓
` %↓ p βA) 0β↓`0%↓`P αAi00αAP0&↓ P αA)P αAP &AP αA P αAP &AP αA P αAP &AP αA P αAP &AP αA ` α↓@ '↓@ α↓ `(↓A0('A ↓↓*(A⊂((CJ `*α
` +↓
` +↓λT ¬εCAX
B!¬π∪B$hβαd`αCTXαC@TXα∧DPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DPα∧@DXα∧DXα∧D`↓D4`αβ@Dh↓C@4hαβDp↓C4x↓B@4x↓B@5↓B5↓B5↓B5λ↓A@4P¬↓A$P¬↓A$("α↓⊂F P0'α PP&↓@ %A` %@a_%@a_%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%a _%@a_%@a_%A` &↓@ &BI`@'AHT _CB⊃HB∃↓StP∧R@ ↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T4XεRaT("B↓⊂F @8&B)@_α↓)0_βA _∧@i _∧A ⊂¬↓ 0λ¬@jp_+↓
` +jP *@j@_)@j _(@j_'@i`_&@i@_%@i!%∧λT →Dα!HA d`¬R`@(α∩@0@α∩` @α∩`⊂P↓U E(α∃E_αSa∧xβ∪a¬ α∃ E(α∃@E0α∃@DPB`DPB`DP↓α DX↓αD`↓A Dh¬∪`d("
α!_F!⊂ )↓* λ@j⊂⊂@j⊂⊂@j_@j⊂↓ip_↓ip_↓i`_↓@iP ↓@iP_αi@ αi@_α@i0 α@i0_βi βi!⊂%∧J@_*j@_*j@_*j@_"QεQ ε#⊂λεRaTX↓R`4X↓R`4X↓R`4X↓R`4X↓@@TXε∩aTXαATXα↓@E0α∃@E0α∃@E0α∩`⊂Pα∩@ Hα∩` @↓S0 α∪!∀pβ⊃(C0λ∧C⊃H∧↓*@'↓Pλ&@iP⊂&i0_%@i0_%`@(%` @%`⊂P%↓@P %↓↓_%↓↓ %a _%a _%a _%@A _%@a⊂_%@a⊂_&A_&`p⊂&@`@ 'α
("Qεq ε#⊂λ∩B¬8↓U@5(↓UE ↓T`E_↓T@E⊂↓T Eλ↓TEα∀4xα∪`Dxα∪`Dpα∪@Dpα∪@Dpα∪@D("∞α↓⊂F P0&BI@_βi0_∧i _¬i _¬i _¬i _¬i0_∧i0 β↓ @`'α `@&↓ (%A` %@a_%a _%a _%a _%a _%a _%@a_%@a_&↓@ &BIp0"Qπ⊃ ε#⊂(β∪A∧h↓A4`↓A@4X↓B$P↓B 4P↓B 4P↓B@4P↓B@4P↓B@4P↓B@4PααDX↓BDXα↓ d`¬ 4h∧@4pαA58↓∃@50↓U 5(↓S⊂8↓R`0 α∪↓∀pαQ(B λ∧Cqhβ@J⊂⊂'AiPX&↓⊂⊂↓↓ 0_↓@@@⊂%@@@⊂%`@⊂%`@⊂%`@⊂%`@⊂%↓0⊂%A ⊂%B @P&BIpH(B
⊂⊂↓↓
⊂⊂↓A
⊂⊂αj⊂⊂αj⊂⊂αj⊂⊂αi λβ@@_%@P⊂↓@i _α@0⊂%A ⊂A @P'AJ⊂⊂(@HT ∪εcQX
BUλβT↓∃↓@`4x↓A 4x↓A 4x↓A 4x↓A 4x↓A4x↓@`Dx↓@@Dx↓@ Eβα`%αC$xαC$pββ$h∧α@$Xα@@0P↓∩`@_αα$Pα↓ @8↓∩@08↓A@$P↓A`@ ↓∩@0@α@$P↓B dX↓B @HS00∧↓ 4h¬@A4xβαd("∂aqλ
F`@8%C p%↓p_%@! _+j`_*A
@ )A
(A
⊂_(j_(j_'A p #A P 'A p 'AλT ∨βb⊃X A Dxα∪`Dxα⊃`P(α∪`Dx↓S`4x↓S`4pα∪@4h↓R`TXα∩@DP↓R@4P↓B@∀Pα↓`DXπ∪↓DpβQ(A↓AB⊃λi _%i _%i _%i _%i _%i _%i _%i _%i _"Qα⊂PβF"⊂8↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 4XADP∧RA∧`αQ(AHπDC1Xα↓I@P%C 0_βi _∧i _∧i _∧i _∧i _β@i _αA) _↓↓i _↓↓I _↓↓I _αA _β@i _βA _∧i _∧↓ _∧@i _∧@i _∧@i _∧@i _∧@i _∧i _βA _↓Ai _↓↓i _↓↓HT
εcQλλA `8αS↓ ∧∩a@⊂¬∩`08βADXB@P8↓∃@@@↓UAu⊂ SBt`εR`P0↓R@0Hα∩@0Hα∩@0HαR@@8∧↓@$Xε@!D`¬@a4h∧↓`t("εcaxλD `0∧A)`PαB P`↓BI@ β↓⊂ α↓ 0 ∧↓`p⊂%@a (∧i _εβi _εβi _εβi _εi _εi ¬↓)0_¬↓)0 ∧↓i@ β↓⊂(βIP`↓C `PαBj0∧AhT ∞∧B1Xβ`∃@↓V58α∃`5¬∪A4hε∪@ β∩`@(βR`0(α 4P↓A@0_↓R@0(α`4P↓A 0 ↓R@0 ↓A 4P↓@`@(↓R@0_↓A@4X↓@ @(↓R`p(α∪` α∪!Dh¬S↓$`↓R`DX↓R`4`Q(Ah⊂λ#1X¬E*Q(*@@0 *`0 *`0 )@`@ )@`@ )@@P )`P )`P (@`` (@`` (@@pp(`pp(`p '@a '@a '∧ a'A &@a &@a &a0 &a0 &A@ %@a@ %@aA%aQ"Qβb(∪εc0P
TCUλS``0β∪@PHαS @XαS@`αS@`αR`@hαR`@pα∩@@xα∩@@xα∩@@xλ∩@@xλ∩@@xα∩@@xα∩@@xα∩@Ppα∩`@pα∩`@hαS@`αSPXαS PPαS@PHαS``0β∀α∃⊂∞Uβ4("πcAp⊂π"P_/↓
@@↓j x(∧ p0β↓I`(∧AIP ¬α @ ¬↓ &↓↓ _↓A 0 ¬↓@ %A↓ _αA ¬↓` %↓↓ _βA ∧Ap %↓↓⊂_∧↓ ∧a⊂ %↓p ∧A β@a %↓` ¬↓ 0 α@a %A@ ¬↓ @ ↓@a &↓ ¬↓ P@¬↓ `0∧A)p0β↓J↓'Cip_↓α ` 'hT ⊂A↓↓X
@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D8α@DPα∩@DPα⊃(C`ααβ1_↓ %↓ #A %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ "Q∧1p⊂λc0p↓↓`%@↓↓`%@↓↓`%8↓A@58↓↓`%8↓↓`%8↓↓`%0↓A@50↓↓`%0↓↓`%0↓↓`%(↓A@4X∞∩Ce ↓↓`% ↓↓`% ↓↓`%_↓A@5_↓↓`%_↓↓`%_↓↓`%_↓↓`$P∂∩cEλ↓A@5λ↓↓`%λ↓↓`%λ↓↓`%↓A@5↓↓`%↓↓`%↓↓`$x↓A@4x↓↓`$x↓↓`$x↓↓`$(" #b∂G @_λI@8ε@i@8ε@I0_↓@a0_%@`0_¬@I _α@a⊂_%`P_∧i _α@a⊂%`P_β@i _α@`p⊂%`P_βi0_↓@``_%@`0_βI@8βi@8βI`_β@jp_β@jp⊂β↓j`_β↓j`⊂β`0_*@``_↓@j@_β`P_*@p_α@j0_β@`P_)@A_α@j _∧`P_(@a⊂_α@j⊂⊂¬@`0_(a0_↓@j⊂εAip_εAip⊂λhT ∪A!@
@ DXα∩`DXα∪4`↓∩`4X↓∩@4("
↓0h∪G!_(@j_'@i`_'iP_&@i@_&i0_%@i0_%@i _%i _%i _%i _%i _%i _%i0_%@i0_%@i@_&iP_&@i`_'ip_(j⊂_)hT ∀BaR8∞@4X↓S4h↓S@4p↓S`4x↓T5↓T 5λ↓T 5λ↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓T5↓S`4x↓S@4p↓S 4`↓R`4P↓Q(BPλ∧B⊃hβ@J⊂_(@J⊂⊂%`@⊂αi (↓@ (%A ⊂⊂A)PP'AIp0&BI0(@@⊂(%↓ ⊂↓↓) _α@@_(@J⊂⊂(@j⊂⊂"Q¬1`∂εbph↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∩CDP∞∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`$("P@∧`⊂ %A 0 %A @_&I0_%@I _"Q¬` ∧`0α∩@DPα∩@D("b↓⊂∪G!`⊂,Jp_+@Jp⊂+j`⊂*@jP⊂*@J@_*J@⊂)@j0⊂)j ⊂)J⊂_(@J⊂⊂(j⊂(Ip_'@I`_'I`⊂&@iP⊂&@I@_&I0_%@I0⊂%i ⊂%HT ≥↓↓↓λλ@DPα∩@DPα⊃a α∩@DPα∩@D("∞`P@∧ ⊂ %A 0 %AλpPA 0 %A 0 &i@⊂%@i0⊂%hT ≡Gβ`Xπ@#$P∞⊃a∞∩c$("⊂αqH
Fa 8)αjp'A@P('↓↓ _&A`(@i@ βαI@_αC 0_β↓00%@`P_βA α@`p %`P_∧@i _α@a⊂_%`P_∧@i _α@a⊂_%`P_∧@i _α@a⊂_%↓P_β@i0_α@`p_%@`` ↓A @_αBi@ β↓iP β↓)` 'AA (∧
`*αλT -Aa28∞@tPβR@tP↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4PβR@tPβQ(EhβAdqh↓i 8%↓i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i 8%↓i 8"Q(∧Bβ0⊂↓S$X↓R`$P↓R@DPα∩@DPα⊃(A⊂∧βaXi0_&i@ &@i`_'@hT Bα0
A 4p↓S 4`α∪4X↓R@4("¬α↓⊂αF_¬i0_∧iP_αi`_↓ip0(@HT
CB⊂8
@0@↓R@0@↓R@@0α∩`00↓R`@ α∪↓$h∧∪`D("¬Aaλ↓¬`p%βI p"QαpX AC0_αRa∀P↓A 4P↓A 4P↓A 4X∧S T(!@?␈␈x␈@βε?␈␈x|␈␈␈x}@`4`↓R`4P↓R@4("λ↓0Pαβa⊂(↓)P0%↓I0⊂"Qa ↓C08↓∀Dx↓@$h↓A4`↓A@4X↓B4P↓B@4("↔`@@↓F` %↓ %↓λT >Cα0
@@0 ↓S0 ↓R`0 ↓R`0 ↓R`0 ↓R@0 ↓R@0 ↓Q(Gpε∧AP↓`@_%A 0_%β _↓A) _αhT ?Cα_
@@ α∩@@ α∩@@ α∩@@ α⊃(@X
εC1X∧↓`@8(B0@(α H'@a_'a_'a_'a_'a_'a_'a_%β0@%β0@'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_"Q↓A_ Gβ@xα∀ P_α∀`_α∪`p_α∪`4p↓S@4p↓S@4p↓S@4Pε↓4Pε↓4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4("β"1_
F`p(αj0αip8αip_∧i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i `αi `αi`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@hT ππCa`∞ε@E⊂β↓ P⊂α∀↓ β@Dx∧@`p⊂α∪`0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓RA@ ∧`4Pε↓↓_↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓Q(@x∂πC1X∧↓@P(↓@j@α↓@0_'B 08↓@ip_∧@`p_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_%β@@↓@i `αα0_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_"Q∧ hεBβ0λα↓DXα↓DXα↓DXα↓D`↓A 4`↓↓@$X↓A 4X↓↓@$P↓A 4("!0XB X%αhT .β"@@
@@0(↓S 0↓∩`0(↓R` 0↓∩@0(↓R@@ α∩@@ α∩@@ α∩@@ α⊃(GX
¬ `¬ ! %¬λT >
%⊂⊂ε¬∀P∀RE∀(wCm⊗ 2[NFH3~,W⊂⊂⊂iU_){bV_7Y
⊗p3\l6@2[,R*→+α:→/π wCfx7≥fλ1Y,'H:→>0w∂@∧|` c≤fiλ↓∨38↓∨38␈␈␈␈hαH␈␈␈␈0↓h{αp∧P↓ ∧H←0H`p∃. !≡`⊂⊂@↓S@x↓⊂u⎇@1PαL9@α5p{↓β@¬U,∧y←0αG@`α@ z↑`0∂@↓D8∀↓ .⎇@rλβ'∂αI`{αβpε⊃e¬≡←0∧H h≤<
[≡`P∂@↓D8∀↓(y⎇A1Hα=+ ∧J0{βαp∧G∂ #←0εE`H∞≡@∩b≡`p⊃↓](1α(␈⎇Ar⊂β:V⊂∧j⊂{∧↓ αβG@ε←o0λB` CH
J>a⊂
@↓λ∧α_1=B1(α⊂@∧78{¬αP∧ ↓λqO0
E @@α⊃i}a0
@↓λ∧α_d=Bq`αjV∧=({εα0βcHλ}∂0E@∃,@
Y↑aP∂@↓D8∀↓Xk⎇C2λβ'∂βB {παP∧ ↓π∂␈0∞IpQg∞9↑ap∀@αλ8⊗↓h*⎇Crλβ'∂β\{λ↓ αβG@ αO0⊂C (1d@∂∃}b⊂
@↓λ∧α8(⎇D2_βE+@βl({ αP∧ ↓ε1o0∩H`p∃.∂U≡b0⊂↓N_M↓Pβ⎇Dp`↓↔∞@∧_{
αβ'∂λβO0∀D0N≡⊂≤}bP
@↓λ∧αe=E2λβ'∂∧⊂h{↓@α.≥λ)O0⊗C@(U,∪←≡bpεK@tαλ2⎇Eq(α⊂@∧↔ {αP∧ ↓¬LO0_E @@α1}c⊂
@↓λ∧↓8α=F1(α⊂@αtX{
αP∧ ↓¬s∂0~E @@α|>c0
@↓λ∧↓@≥=Fq(α⊂@β ({∞αP∧ ↓ε~∂0≤E @@αL>cPεK@tαλe⎇G0`↓↔∞@∧≡ {∂↓PαXr πQo0≡H h≤<⊃↓}cp
↓8∩↓Pa⎇Gq αr β(@{⊂β@¬U,λC∂0 GX*Xλ}d⊂∞↓5(0G=H1Xα[G`∂8{⊃βpε⊃e(∂0"F P_t@k}d0↓≠@wλw=Hq`αjV"h{∩β`ε↓ Q∂0$C \:↓>}dP
↓8∩_≥=I1hαyd 7h{∪αp∧P↓ }O0&I pjX@α}dp∂↓@¬(↓=Iqxβ⊃d0Zλ{∀β0¬7∂@↓AO0(G``G⊃@β_}e⊂
@↓0¬0p=J1@α.≥th{∃βP¬g∂`↓s/0*G XU-@βv>e0∞↓5(0@&=Jr@∧↓d@↓X{⊗β@¬U,α1O0,GX*X∧⎇}eP
↓&_LP)=K0`↓≡≤`∧)X{↔αP∧ ↓ p␈0.C xs⊃<↑ep
@↓λ∧α ∩⎇Kp`↓↔∞@∧D {_↓@α.≥λi∨00E@∃,@¬$>f⊂↓8∩Pg=L1_↓qd↓2h{→α`∧1d@αko02D`8G⊂¬o}f0ε@SλfXy=Lq(α⊂@↓Cλ{~α`∧1d@β⊃O04B@ π∂ε;>fP¬@H8⊂h⊃=M1(α d↓VH{≠↓ αβG@β9O06H@h@βπα}fp↓8∩p>=Mq(α⊂@↓lH{≤α`∧1d@βaO08E@@cIπY}g⊂π\p∨xa=N1↓PDP↓␈_{≥↓pβλr@∧∧O0:E@@cIλ⊗}g0
⎇(.↓T=NqhαsG`α∂λ{≡α@βu+@∧.o0<E8jWλo}gP v_J↓⊂
=O1(α⊂@∧{⊂{∨¬ λ@α w␈0>E @@α∩∀}gp
@↓λ∧α ;=Oq(α⊂@∧Hx|@α@β`{⎇xow{⎇x